命题代数algebra: n. 代数学。 boolean algebra of propositional logic: 命题逻辑布尔代数propositional: 建议的; 提议的; 主张的propositional act: 命题行为propositional calculus: 句子逻辑; 命题逻辑; 命题演算下载手机词典可随时随地查词查翻译